Engineering approach

Results: 2146



#Item
71Distributed computing / Safety / Liveness / Computing / Formal methods / Software engineering / Concurrency / Logic in computer science

Model based approach to verification of higher-order programs (Invited Talk) Igor Walukiewicz CNRS Bordeaux University, France

Add to Reading List

Source URL: refal.botik.ru

Language: English - Date: 2016-03-08 11:18:53
72Economics / Economy / Academia / Aerodynamics / Chemical engineering / Continuum mechanics / Stock-Flow consistent model / Stock and flow / N1 / Economic model / Macroeconomic model / Fluid dynamics

Macroeconomic instability and microeconomics financial fragility: a stock-flow consistent approach with heterogeneous agents=1Financial support by INET is gratefully acknowledged

Add to Reading List

Source URL: convegni.dises.univpm.it

Language: English - Date: 2013-07-30 06:05:18
73Computing / Software engineering / ISO standards / Open formats / Computer file formats / Adobe Systems / Graphics file formats / Portable Document Format / PDF/A / LR parser / File format / Computer file

Caradoc: a pragmatic approach to PDF parsing and validation Guillaume Endignoux Olivier Levillain Jean-Yves Migeon

Add to Reading List

Source URL: spw16.langsec.org

Language: English - Date: 2016-06-06 17:25:59
74Computing / Software engineering / Software / Object-oriented programming / Component-based software engineering / Network architecture / Inter-process communication / ISO standards / Interface / Communications protocol / User interface / Web service

Challenge: Recombinant Computing and the Speakeasy Approach W. Keith Edwards, Mark W. Newman, Jana Sedivy, Trevor Smith Shahram Izadi

Add to Reading List

Source URL: trevor.smith.name

Language: English - Date: 2012-11-23 14:19:46
75Arrays / Sorting algorithms / Computer programming / Suffix array / Computing / Merge sort / Mathematics / LCP array

CSE 584A Class 8 Jeremy Buhler February 15, 2016 We’re going to look at one of several linear-time algorithms for constructing the suffix array of a string. This approach is due to K¨arkk¨ainen and Sanders (2003).

Add to Reading List

Source URL: classes.engineering.wustl.edu

Language: English - Date: 2016-02-29 12:58:18
76Water / Natural environment / Water pollution / Environmental engineering / Earth / Stormwater management / Sustainable urban planning / Drainage / Stormwater / Surface runoff / Retrofitting / Water-sensitive urban design

The Complete Community Approach – Draft 3, March 25, 2013 * In rapidly developing landscapes, the spread of impervious area (IA) causes higher stormwater runoff volumes, resulting in elevated levels of nonpoint source

Add to Reading List

Source URL: southeastwatershedalliance.org

Language: English - Date: 2013-03-28 11:58:58
77Knowledge representation / Information science / Cognition / Knowledge / Knowledge engineering / Ontology / Semantic Web / Technical communication / Relation / Spatialtemporal reasoning

Counterparts in Language and Space - The S-Connection Approach Joana Hois and Oliver Kutz Formal Ontology in Information Systems 2008  

Add to Reading List

Source URL: fois08.dfki.de

Language: English - Date: 2008-11-08 12:34:34
78Water / Optical materials / Hydraulic engineering / Hydrology / Environmental science / Aquifers / Groundwater pollution / Groundwater / Water pollution / Drinking water / Water quality / National Research Council

Chapter 2: Background and Literature Review The purpose of this chapter is to set the present study in the context of other studies of groundwater vulnerability. Since this study employs a statistical approach to vulnera

Add to Reading List

Source URL: www.ce.utexas.edu

Language: English - Date: 1996-10-17 17:57:22
79Long Beach Island / Geography of New Jersey / Intracoastal Waterway / Barnegat Bay / Physical geography / United States lightship Barnegat / New Jersey / Estuary

SAGE Systems Approach to Geomorphic Engineering Barnegat Bay Pilot Heather Jensen Philadelphia District

Add to Reading List

Source URL: www.sagecoast.org

Language: English - Date: 2015-06-25 13:19:57
80Engineering / Mathematical analysis / Finite element method / Structural analysis / Structural health monitoring / Analysis

Australian Network of Structural Health Monitoring (ANSHMAnnual Workshop 19th November 2013, Melbourne, Australia Guided Wave based Quantitative Identification of Damage in Beams Using a Bayesian Approach Dr. (Ale

Add to Reading List

Source URL: www.anshm.org.au

Language: English - Date: 2014-05-12 03:28:52
UPDATE